<?php

/**^
function f(){
  $r= '/.*/';
}

?>